Richardson's Practical Reasoning About Final Ends

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Practical Nonmonotonic Theory for Reasoning about Speech Acts

A prerequisite to a theory of the way agents understand speech acts is a theory of how their beliefs and intentions are revised as a consequence of events. This process of attitude revision is an interesting domain for the application of nonmonotonic reasoning because speech acts have a conventional aspect that is readily represented by defaults, but that interacts with an agent's beliefs and i...

متن کامل

Formalising Debates About Law-Making Proposals as Practical Reasoning

In this paper the ASPIC framework for argumentation-based inference is used for formally reconstructing two legal debates about law-making proposals: an opinion of a legal scholar on a Dutch legislative proposal and a US commonlaw judicial decision on whether an existing common law rule should be followed or distinguished. Both debates are formalised as practical reasoning, with versions of the...

متن کامل

Reasoning About Communication - A Practical Approach Based on Empirical Semantics

Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can operate on such a specification is a very important one. In open systems, the problem is complicated even further by the fact that adherence to such a supposedly agreed specification cannot be ensured on the side of other ...

متن کامل

A Tool for Practical Reasoning about State Machine Designs

Critical systems (e.g. safety-critical and security-critical systems) need the highest levels of assurance. The eeective engineering design of critical systems still lacks easy-to-use, practical and above-all trustworthy tools which allow the exploration of possible design strategies, and support formal reasoning about their critical properties. In this paper, we describe the Veracity prototype...

متن کامل

Practical Reasoning About Invocations and Implementations of Pure Methods

User-defined functions used in the specification of objectoriented programs are called pure methods. Providing sound and practical support for pure methods in a verification system faces many challenges, especially when pure methods have executable implementations and can be invoked from code at run time. This paper describes a design for reasoning about pure methods in the context of sound, mo...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Informal Logic

سال: 1999

ISSN: 0824-2577,0824-2577

DOI: 10.22329/il.v19i1.2319